マルチパラダイム言語TAO⑦ 論理型パラダイム(1) - 共立出版コンピュータサイエンス誌『bit』